Grigore Roșu: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Hildenbrandt, Everett, Saxena, Manasvi, Rodrigues, Nishant, Zhu, Xiaoran, Daian, Philip, Guth, Dwight, Moore, Brandon, Park, Daejun, Zhang, Yi, Stefanescu, Andrei, Rosu, Grigore

Year:

2018

Language:

english

File:

PDF, 286 KB

english, 2018

2

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - A complete formal semantics of x86-64 user-level instruction set architecture

Dasgupta, Sandeep, Park, Daejun, Kasampalis, Theodoros, Adve, Vikram S., Roşu, Grigore

Year:

2019

Language:

english

File:

PDF, 388 KB

english, 2019

3

Behavioral and Coinductive Rewriting (invited talk)

Joseph Goguen, Kai Lin, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 196 KB

english, 2000

4

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

Feng Chen, Marcelo d'Amorim, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 335 KB

english, 2006

5

Institution Morphisms

Joseph Goguen, Grigore Roşu

Journal:

Formal Aspects of Computing

Year:

2002

Language:

english

File:

PDF, 350 KB

english, 2002

6

Editorial

Narciso Martí-Oliet, Grigore Roşu, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 159 KB

english, 2007

7

A semantic approach to interpolation

Andrei Popescu, Traian Florin Şerbănuţă, Grigore Roşu

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.15 MB

english, 2009

8

[IEEE 2008 IEEE 29th Real-Time Systems Symposium (RTSS) - Barcelona, Spain (2008.11.30-2008.12.3)] 2008 Real-Time Systems Symposium - Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems

Pellizzoni, Rodolfo, Meredith, Patrick, Caccamo, Marco, Rosu, Grigore

Year:

2008

Language:

english

File:

PDF, 580 KB

english, 2008

9

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - K-Java

Bogdanas, Denis, Roşu, Grigore

Year:

2015

Language:

english

File:

PDF, 906 KB

english, 2015

10

Language definitions as rewrite theories

Rusu, Vlad, Lucanu, Dorel, Şerbănuţă, Traian-Florin, Arusoaie, Andrei, Ştefănescu, Andrei, Roşu, Grigore

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 739 KB

english, 2016

11

SAE Technical Paper Series [SAE International SAE 2016 World Congress and Exhibition - (APR. 12, 2016)] SAE Technical Paper Series - RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring

Daian, Philip, Shiraishi, Shinichi, Iwai, Akihito, Manja, Bhargava, Rosu, Grigore

Year:

2016

Language:

english

File:

PDF, 1.53 MB

english, 2016

12

[IEEE 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Xi'an, China (2019.4.22-2019.4.27)] 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Techniques for Evolution-Aware Runtime Verification

Legunsen, Owolabi, Zhang, Yi, Hadzi-Tanovic, Milica, Rosu, Grigore, Marinov, Darko

Year:

2019

Language:

english

File:

PDF, 330 KB

english, 2019

13

An instrumentation technique for online analysis of multithreaded programs

Grigore Roşu, Koushik Sen

Journal:

Concurrency and Computation: Practice and Experience

Year:

2007

Language:

english

File:

PDF, 218 KB

english, 2007

14

Monitoring Algorithms for Metric Temporal Logic Specifications

Prasanna Thati, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 305 KB

english, 2005

15

The Rewriting Logic Semantics Project

José Meseguer, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 480 KB

english, 2006

16

Regular Strategies as Proof Tactics for CIRC

Dorel Lucanu, Grigore Roşu, Gheorghe Grigoraş

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 337 KB

english, 2008

17

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

Mark Hills, Traian Şerbănuţă, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 333 KB

english, 2007

18

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

Traian Florin Şerbănuţă, Grigore Roşu, José Meseguer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 375 KB

english, 2007

19

Behavioral abstraction is hiding information

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 317 KB

english, 2004

20

Combining test case generation and runtime verification

Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Roşu, Koushik Sen, Willem Visser, Rich Washington

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 290 KB

english, 2005

21

Equational axiomatizability for coalgebra

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 155 KB

english, 2001

22

A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.17 MB

english, 1998

23

Monitoring Java Programs with Java PathExplorer

Klaus Havelund, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 335 KB

english, 2001

24

Towards Behavioral Maude: Behavioral Membership Equational Logic

José Meseguer, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 639 KB

english, 2002

25

Generating Optimal Monitors for Extended Regular Expressions

Koushik Sen, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 209 KB

english, 2003

26

Preface: Volume 70, Issue 4

Klaus Havelund, Grigore Rosu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 43 KB

english, 2002

27

Preface: Volume 55, Issue 2

Klaus Havelund, Grigore Rosu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 47 KB

english, 2001

28

A protocol for distributed cooperative work

Joseph Goguen, Grigore Rosu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 28 KB

2000

29

Incompleteness of Behavioral Logics

Samuel Buss, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 905 KB

2000

30

Efficient monitoring of safety properties

Klaus Havelund, Grigore Roşu

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 360 KB

english, 2004

31

Online efficient predictive safety analysis of multithreaded programs

Koushik Sen, Grigore Roşu, Gul Agha

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 1.45 MB

english, 2006

32

Rewriting-Based Techniques for Runtime Verification

Grigore Roşu, Klaus Havelund

Journal:

Automated Software Engineering

Year:

2005

Language:

english

File:

PDF, 2.21 MB

english, 2005

33

Efficient monitoring of parametric context-free patterns

Patrick O’Neil Meredith, Dongyun Jin, Feng Chen, Grigore Roşu

Journal:

Automated Software Engineering

Year:

2010

Language:

english

File:

PDF, 714 KB

english, 2010

34

Foreword

Klaus Havelund, Grigore Roşu

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 88 KB

english, 2005

35

Preface

Klaus Havelund, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 64 KB

english, 2005

36

Rewriting Logic Systems

Grit Denker, Carolyn Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian Florin Şerbănuţă

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 286 KB

english, 2007

37

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 109 KB

english, 2009

38

The rewriting logic semantics project

José Meseguer, Grigore Roşu

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 625 KB

english, 2007

39

Interpreting Abstract Interpretations in Membership Equational Logic

Bernd Fischer, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 320 KB

english, 2001

40

Inductive Behavioral Proofs by Unhiding

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 212 KB

english, 2003

41

Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation

Feng Chen, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

File:

PDF, 1.08 MB

2003

42

Foreword

Klaus Havelund, Grigore Roşu

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 21 KB

english, 2004

43

An Overview of the Runtime Verification Tool Java PathExplorer

Klaus Havelund, Grigore Roşu

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 181 KB

english, 2004

44

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 5140 || Calculating Invariants as Coreflexive Bisimulations

Meseguer, José, Roşu, Grigore

Year:

2008

Language:

english

File:

PDF, 522 KB

english, 2008

45

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 7273 || Behavioural Equivalences over Migrating Processes with Timers

Giese, Holger, Rosu, Grigore

Year:

2012

Language:

english

File:

PDF, 258 KB

english, 2012

46

An overview of the MOP runtime verification framework

Patrick O’Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Roşu

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 4.26 MB

english, 2012

47

A rewriting logic approach to operational semantics

Traian Florin Şerbănuţă, Grigore Roşu, José Meseguer

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 421 KB

english, 2009

48

An overview of the K semantic framework

Grigore Roșu, Traian Florin Șerbănută

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 1.80 MB

english, 2010

49

Introduction to the special issue on runtime verification

Sokolsky, Oleg, Roşu, Grigore

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 145 KB

english, 2012

50

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 5140 || An Algebraic Semantics for Contract-Based Software Components

Meseguer, José, Roşu, Grigore

Year:

2008

Language:

english

File:

PDF, 548 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски